From c4241bc4548ca995da9b6f97aa72027aa3193ab9 Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Thu, 24 Jul 2008 17:36:27 +0100
Subject: [PATCH] stubdom: make sure to use old tree for now

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---
 stubdom/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stubdom/Makefile b/stubdom/Makefile
index b82f668038..4f4240cfd5 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -3,12 +3,12 @@ MINI_OS = $(XEN_ROOT)/extras/mini-os
 
 export XEN_OS=MiniOS
 
-CONFIG_QEMU=ioemu
-
 export stubdom=y
 export debug=y
 include $(XEN_ROOT)/Config.mk
 
+override CONFIG_QEMU=ioemu
+
 IOEMU_OPTIONS=--disable-sdl --disable-opengl --disable-gfx-check --disable-vnc-tls --disable-brlapi --disable-kqemu
 ZLIB_VERSION=1.2.3
 LIBPCI_VERSION=2.2.9
-- 
2.30.2